<!doctype html public "-//w3c//dtd html 4.0 transitional//en">
<html>
<head>
   <meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">
   <title>Package-level Javadoc</title>
</head>
<body>

This package contains jdart (concrete and symbolic) bytecodes.

<h2>Package Specification</h2>

<p>
These bytecodes execute both concretely and symbolically.  Meaning the concrete values
are preserved and the symbolic attributes are passed along to the output.
</p>

</body>
</html>
